<html>
<head><meta charset="utf-8"><title>subset relations PR polonius#156 · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html">subset relations PR polonius#156</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="247725466"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247725466" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247725466">(Jul 30 2021 at 15:47)</a>:</h4>
<p>So I read <a href="https://github.com/rust-lang-nursery/polonius/issues/156">polonius#156</a></p>



<a name="247725510"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247725510" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247725510">(Jul 30 2021 at 15:47)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> one question I have</p>



<a name="247725537"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247725537" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247725537">(Jul 30 2021 at 15:47)</a>:</h4>
<p>yes</p>



<a name="247725608"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247725608" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247725608">(Jul 30 2021 at 15:48)</a>:</h4>
<p>(a) the code for opt vs naive is very similar -- or, it is at first</p>



<a name="247725620"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247725620" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247725620">(Jul 30 2021 at 15:48)</a>:</h4>
<p>then I guess that naive leverages having the full subset relation available</p>



<a name="247725626"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247725626" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247725626">(Jul 30 2021 at 15:48)</a>:</h4>
<p>yeah</p>



<a name="247725661"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247725661" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247725661">(Jul 30 2021 at 15:48)</a>:</h4>
<p>in the hybrid variant:</p>



<a name="247725668"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247725668" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247725668">(Jul 30 2021 at 15:48)</a>:</h4>
<p>we are right now just filtering</p>



<a name="247725692"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247725692" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247725692">(Jul 30 2021 at 15:49)</a>:</h4>
<p>did I see some logic that tried to skip populating the placeholder if we know they won't get any errors?</p>



<a name="247725696"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247725696" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247725696">(Jul 30 2021 at 15:49)</a>:</h4>
<p>(naive can take advantage of the full subset, that Opt cannot)</p>



<a name="247725700"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247725700" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247725700">(Jul 30 2021 at 15:49)</a>:</h4>
<p>i.e., maybe calculate the rest</p>



<a name="247725719"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247725719" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247725719">(Jul 30 2021 at 15:49)</a>:</h4>
<p>it seems like a place where magic sets would also apply</p>



<a name="247725737"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247725737" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247725737">(Jul 30 2021 at 15:49)</a>:</h4>
<p>e.g., if know the LHS of all placeholders that <em>might</em> have an error</p>



<a name="247725752"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247725752" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247725752">(Jul 30 2021 at 15:49)</a>:</h4>
<p>we could only compute <code>subset_placeholder</code> for those</p>



<a name="247725757"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247725757" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247725757">(Jul 30 2021 at 15:49)</a>:</h4>
<p>but that is maybe worth just nothing for later :)</p>



<a name="247725858"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247725858" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247725858">(Jul 30 2021 at 15:50)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/subset.20relations.20PR.20polonius.23156/near/247725692">said</a>:</p>
<blockquote>
<p>did I see some logic that tried to skip populating the placeholder if we know they won't get any errors?</p>
</blockquote>
<p>in general or in this PR ?</p>



<a name="247725911"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247725911" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247725911">(Jul 30 2021 at 15:50)</a>:</h4>
<p>we mentioned doing it before in the hybrid variant indeed</p>



<a name="247725947"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247725947" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247725947">(Jul 30 2021 at 15:51)</a>:</h4>
<p>(and part of what you referred to earlier as "easy filtering")</p>



<a name="247726000"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247726000" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247726000">(Jul 30 2021 at 15:51)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116113">lqd</span> <a href="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/subset.20relations.20PR.20polonius.23156/near/247725858">said</a>:</p>
<blockquote>
<p>in general or in this PR ?</p>
</blockquote>
<p>in this PR</p>



<a name="247726029"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247726029" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247726029">(Jul 30 2021 at 15:51)</a>:</h4>
<p>it definitely skips doing the more involved analysis if there are no errors at all</p>



<a name="247726059"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247726059" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247726059">(Jul 30 2021 at 15:51)</a>:</h4>
<p>anyway, I'm basically ready to r+ it regardless</p>



<a name="247726062"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247726062" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247726062">(Jul 30 2021 at 15:51)</a>:</h4>
<p>just thinking about next steps</p>



<a name="247726078"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247726078" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247726078">(Jul 30 2021 at 15:52)</a>:</h4>
<p>would you want I add this to the PR ?</p>



<a name="247726096"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247726096" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247726096">(Jul 30 2021 at 15:52)</a>:</h4>
<p>ah ok</p>



<a name="247726120"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247726120" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247726120">(Jul 30 2021 at 15:52)</a>:</h4>
<p>I still suspect that a touch of filtering from the insensitive one would get us really, really far</p>



<a name="247726162"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247726162" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247726162">(Jul 30 2021 at 15:52)</a>:</h4>
<p>agreed :) this will be my next task</p>



<a name="247726164"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247726164" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247726164">(Jul 30 2021 at 15:52)</a>:</h4>
<p>I forget how much of this you've already proven out :)</p>



<a name="247726181"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247726181" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247726181">(Jul 30 2021 at 15:52)</a>:</h4>
<p>shall I just merge the above then?</p>



<a name="247726187"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247726187" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247726187">(Jul 30 2021 at 15:52)</a>:</h4>
<p>also, we should get the repo on bors...</p>



<a name="247726193"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247726193" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247726193">(Jul 30 2021 at 15:52)</a>:</h4>
<p>I would say so</p>



<a name="247726212"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247726212" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247726212">(Jul 30 2021 at 15:52)</a>:</h4>
<p><a href="https://github.com/rust-lang/polonius/pull/156#discussion_r680018563">https://github.com/rust-lang/polonius/pull/156#discussion_r680018563</a> &lt;-- I left one nit</p>



<a name="247726218"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247726218" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247726218">(Jul 30 2021 at 15:52)</a>:</h4>
<p>(agreed, it was supposed to be enabled but doesn't seem to work)</p>



<a name="247726219"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247726219" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247726219">(Jul 30 2021 at 15:52)</a>:</h4>
<p>although it's not too important</p>



<a name="247726248"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247726248" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247726248">(Jul 30 2021 at 15:53)</a>:</h4>
<p>just something that took me a bit to figure out</p>



<a name="247726299"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247726299" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247726299">(Jul 30 2021 at 15:53)</a>:</h4>
<p>I "proved" a bit, but not the whole thing, in particular my older experiments were more about filtering for illegal access errors</p>



<a name="247726428"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247726428" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247726428">(Jul 30 2021 at 15:54)</a>:</h4>
<p>I'll add the comment right now</p>



<a name="247728602"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/subset%20relations%20PR%20polonius%23156/near/247728602" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/subset.20relations.20PR.20polonius.23156.html#247728602">(Jul 30 2021 at 16:11)</a>:</h4>
<p>done, and pushed <a href="https://github.com/rust-lang/polonius/pull/156/commits/594c7df887d7f1e480880b1ebac7402f3c196b95">https://github.com/rust-lang/polonius/pull/156/commits/594c7df887d7f1e480880b1ebac7402f3c196b95</a></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>